#main {
    width: 1000px;
    margin: 50px auto;
}

#hints {
    margin: 20px auto;
    padding-bottom: 5px;
    border-bottom: 1px solid #cdcdcd;
}

#hints code {
    color: #0099CC;
}

#cmd {
    width: 800px;    
    height: 30px;
}

#command-form input {
    display: inline;
}

#submit {
    display: inline;
    width: 100px;
}

#output-frame {
    margin-top: 20px;
    width: 1000px;
    height: 800px;
}